if DE∥ BC